1. A Boolean algebra, abstract and concrete
المؤلف: Bowran, A. P.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Algebra, Boolean
رده :
QA
266
.
B6
2. A Boolean algebra, abstract and concrete
پدیدآورنده : Bowran, A. P.
موضوع : ، Algebra, Boolean
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. AQA A level Computer Science.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
4. Algebra of Conscience :
المؤلف: by Vladimir A. Lefebvre.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ethics.,Philosophy (General)
رده :
BJ1031
.
B985
1982
5. Algebras and Orders
المؤلف: edited by Ivo G. Rosenberg, Gert Sabidussi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Mathematics.
رده :
QA251
.
E358
1993
6. Applied Abstract Algebra
المؤلف: by Rudolf Lidl, Günter Pilz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Mathematics.
7. Computational Logic - CL 2000 :
المؤلف: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
8. Discrete Morse theory /
المؤلف: Nicholas A. Scoville.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Geometry, Differential.,Homotopy theory.,Morse theory.,Algebraic topology -- Applied homological algebra and category theory [See also 18Gxx] -- Abstract complexes.,Geometry, Differential.,Global analysis, analysis on manifolds [See also 32Cxx, 32Fxx, 32Wxx, 46-XX, 47Hxx, 53Cxx] {For geometric integration theory, see 49Q15} -- Variational problems in infinite-dimensional spaces -- Abstr.,Homotopy theory.,Manifolds and cell complexes {For complex manifolds, see 32Qxx} -- PL-topology -- General topology of complexes.,Manifolds and cell complexes {For complex manifolds, see 32Qxx} -- PL-topology -- Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion, etc. [See also 19B28].,Morse theory.,Morse-Theorie
رده :
QA612
.
7
.
S36
2019
9. Discrete mathematics
المؤلف: by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
المکتبة: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
10. Discrete mathematics :
المؤلف: Douglas E. Ensley, J. Winston Crawley.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
رده :
QA9
.
25
.
E57
2006
11. Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /
المؤلف: Janusz Czelakowski, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Pigozzi, Don,1935-,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians-- United States.,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,United States., 7
رده :
QA29
.
P54
12. Foundations of computer science /
المؤلف: Behrouz Forouzan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer science.,Informatique-- Manuels d'enseignement supérieur.
رده :
QA76
.
F623
2018
13. Introduction to lattices and order /
المؤلف: B.A. Davey, H.A. Priestley.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Lattice theory.
رده :
QA171
.
5
.
D38
2002
14. Mathematical Foundations of Computer Science 1989 :
المؤلف: edited by Antoni Kreczmar, Grazyna Mirkowska.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
15. Mathematics and computation :
المؤلف: Avi Wigderson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Boolean.,Computational complexity.,Cryptography.,Algebra, Boolean.,Computational complexity.,Cryptography.,MATHEMATICS / General.
رده :
QA267
.
7
16. Modern algebra with applications /
المؤلف: William J. Gilbert, W. Keith Nicholson
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Abstract
رده :
QA162
.
G53
2004
17. Modern algebra with applications
المؤلف: / William J. Gilbert, W. Keith Nicholson
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Algebra, Abstract
رده :
E-BOOK
18. Pseudo-Boolean programming and applications
المؤلف: Hammer, Peter L.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
19. Pseudo-Boolean programming and applications
المؤلف: Ivanescu, Petru L.
المکتبة: (طهران)
موضوع: ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
Vol
.
9
20. Pseudo-Boolean programming and applications.]Lectures[ presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964
المؤلف: Hammer, P. L.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
